Complete Visual Speci cation and Animation of Protocols
نویسندگان
چکیده
| This article discusses the application of Pictorial Janus (PJ) for the rapid development and analysis of protocols by animation and complete visualization. In order to make PJ applicable in the context of hardware description we rst extend PJ by timing facilities (Timed PJ) and introduce an approach for integrating VHDL models into this visual framework preserving the simulation semantics of VHDL. We nally give the example of the speci cation and animation of a non interlocked protocol.
منابع مشابه
Transforming SDL Diagrams into a Complete Visual Representation
| We investigate a translation of SDL diagrams into the complete visual representation of Pictorial Janus (PJ) programs in order to analyze the speci cation by visual debugging and animation. We additionally introduce timing concepts to PJ (Timed PJ) for a mapping of the SDL timing statements. The concepts transforming SDL interaction and process diagrams into Timed PJ are outlined by an exampl...
متن کاملInverse Kinematics and Geometric Constraints for Articulated Figure Manipulation
Computer animation of articulated gures can be tedious largely due to the amount of data which must be speci ed at each frame Animation techniques range from simple interpolation between keyframed gure poses to higher level algorithmic models of speci c movement patterns The former provides the animator with complete control over the movement whereas the latter may provide only limited control ...
متن کاملInteraction Protocols in Agentis
Agentis is a framework for building interactive multi-agent applications that is based upon a model of interaction whose key elements are services and tasks. A key to the operation of the Agentis system, therefore, is a set of protocols that permit reliable concurrent request and provision of services and tasks from/to agents. These protocols are based on an underlying asynchronous point-to-poi...
متن کاملMessage Logging: Pessimistic, Optimistic, Causal, and Optimal
Message-logging protocols are an integral part of a popular technique for implementing processes that can recover from crash failures. All message-logging protocols require that, when recovery is complete, there be no orphan processes , which are surviving processes whose states are inconsistent with the recovered state of a crashed process. We give a precise speci cation of the consistency pro...
متن کاملSpeci cation and Veri cation of High - Speed Transfer Protocols
Composition of high-speed protocols from basic protocol mechanisms can help to realize the exible application-speci c selection of protocols. For the purpose of formal speci cation, functional modelling, analysis, and veri cation of composed protocols we apply L. Lamport's Temporal Logic of Actions (TLA). We propose a modular and compositional style of speci cation, which supports the analysis ...
متن کامل